Godel's theorems explained